A mechanisation of name-carrying syntax up to Alpha-conversion

Författare
Andrew D. Gordon
(Andrew D. Gordon.)
Genre
Ej skönlitteratur
Språk
Engelska
Förlag År Ort Om boken ISBN
Programming Methodology Group 1994 Sverige, Göteborg 14 sidor.